constant weakest pre-condition

英 美
  • [计]恒最弱前置条件
  • condition n.条件;情况v.训练;决定;以...为条件;护理(头发)
  • constant adj.不变的;经常的n.常数;恒量
  • pre abbr.PetroleumRefiningEngineer炼油工程师
  • weakest adj.最弱的形容词weak的最高级形式.